pe{-}state($p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(state when pe{-}e($p$))